#header {
    background-color: #fff;
    border-bottom: 1px solid #ddd;
}

#links > a, #user > a {
    color: #777;
}

#links > a:hover, #user > a:hover {
    color: #000;
}

#notebookSplitter.moving {
    background-color: rgba(0, 0, 255, .5);
}
